\subsection{Testes e Execução}

Após a implementação dos aspectos cobertos pelo nosso analisador semântico,
fizemos alguns \emph{scripts} para serem rodados e servirem de parâmetro para a
avaliação da eficácia de cobertura da nossa implementação.

\emph{COLOCAR COMO RODAR E TAL}
